Concept of the abstract program Tibor GREGORICS
نویسندگان
چکیده
The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eötvös Loránd University for many years in order to investigate methods that support designing correct programs. The motivation of this modification was that the dynamic properties of programs appear in the model. This new definition of the program gives a hand to extend the model with the concept of subprograms while the earlier results of the original programming model are preserved.
منابع مشابه
Concept of the abstract program
The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eötvös Loránd University for many years in order to investigate methods that support designing correct programs. The motivation of this modification was that the dynamic properties of programs appear in the model. This new definition of the program gives a ha...
متن کاملtxtUML
The name txtUML stands for textual, executable, translatable UML. It is an Eclipse-based tool built on top of JDT, Xtext/Xbase and Papyrus UML. The tool is designed for textual model editing. This makes storage, version control, compare and merge processes, editing and searching easier and more efficient. The tool supports two textual syntaxes for modeling: the standalone syntax, which is desig...
متن کاملOn Composing Problems and Parallel Programs
We introduce the basic concepts of a relational model of parallel programming. We deene the concepts of a problem, an abstract program and a solution. Our approach is functional, problems are given an own semantical meaning. The abstract program is regarded as a relation generated by a set of nondeterministic conditional assignments similar to the concept of abstract program in UNITY. We introd...
متن کاملThe Effect of an Educational-Orientation Program Upon Professional Self-Concept of Undergraduate Nursing Students
Introduction: Professional self-concept is the individual's perception of self as a professional person and it affects his/her thinking, role development, and professional function. In recent years, improving self-concept has been discussed as a global aim in higher education, especially in nursing discipline. Thus, this study was conducted to examine the effect of an educational-orientation pr...
متن کاملEffect 0f Resistance training program on physical self concept and body function of boys with cerebral palsy at age of 13-18 years
Physical Self Concept can be affected from interventions such as sport and exercise training. So in order to enhancing the person`s physical characteristics perception and creation the partnership motivation in physical activity, it is important to know a bout the way of affecting this methods of training. Purpose: this study was designed to evaluate the effect of a progressive resistance train...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012